package ocl;

import metamodels.Identifier;

public class DoubleCaretExpression extends OclExpression {

	private OclExpression exp1;
	private Identifier identifier;

	public DoubleCaretExpression(OclExpression oclExpression,
			Identifier identifier) {
		this.exp1 = oclExpression;
		this.identifier = identifier;
	}

	@Override
	public String toK() {
		return exp1.toK() + "^^" + identifier + "()";
	}

}
